Linear Logic in Planning
نویسنده
چکیده
Linear Logic is a powerful formalism used to manage a lot of problems with resources. Linear Logic can also be used to formalize Petri Nets and to solve simple planning problems (for example ‘Block World‘). Research goes ahead also in Linear Logic Programming, which means that we have tools, that can solve Linear Logic problems. In this paper I will show the possible connection between solving planning problems and Linear Logic Programming.
منابع مشابه
A geographic information system for gas power plant location using analytical hierarchy process and fuzzy logic
This study recommends a GIS-based (Geographic Information Systems) and multi-criteria evaluation for site selection of gas power plant in Natanz City of Iran. The multi-criteria decision framework integrates legal requirements and physical constraints related to environmental and economic concerns. It also builds a hierarchy model for gas power plant suitability. The methodologies used for site...
متن کاملUtilization of CHB Multilevel Inverter for Harmonic Reduction in Fuzzy Logic Controlled Multiphase LIM Drives
Background and Objectives: Despite superior privileges that multiphase motors offer in comparison with their three-phase counterparts, in the field of multiphase linear induction motors (LIMs) few studies have been reported until now. To combine the advantages of both multiphase motors and linear induction motors, this paper concentrates on multiphase LIM drives considering the end effects. Met...
متن کاملEncoding of Planning Problems and Their Optimizations in Linear Logic
Girard’s Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems. We concentrated on expressing planning problems by linear logic in this paper. We observed a rich usage of a construct of consumable resources in planning problem formulations. This fact motivates u...
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملOn Linear Logic Planning and Concurrency
We present an approach to linear logic planning where an explicit correspondence between partial order plans and multiplicative exponential linear logic proofs is established. This is performed by extracting partial order plans from sound and complete encodings of planning problems in multiplicative exponential linear logic in a way that exhibits a non-interleaving behavioral concurrency semant...
متن کامل